Buy Used and New Ofer Strichman Books

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783662570654

Format: Paperback (377 pages)
Publisher: Springer
Published: 13 Jul 2018

Save for later